Knihy od autora Ahmed Bouajjani

Zobrazené 1 – 6 z 6 výsledkov

1. 

   Automated Technology for Verification and Analysis

   Ahmed Bouajjani, Wei-Ngan Chin | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   Skladom u dodávateľa - Odosielame za 9 - 15 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   56.03 €

   Kúpiť
2. 

   Verification, Model Checking, and Abstract Interpretation

   Ahmed Bouajjani, David Monniaux | Springer International Publishing AG, 2017

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.68 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
3. 

   Automated Technology for Verification and Analysis

   Ahmed Bouajjani, Lukás Holik, Zhilin Wu | Springer, Berlin, 2022

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   77.27 €

   Zľava 7 %

   Ušetríte 6.50 €

   Kúpiť
4. 

   Networked Systems

   Ahmed Bouajjani, Hugues Fauconnier | Springer International Publishing AG, 2015

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.68 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť
5. 

   Computer Aided Verification

   Ahmed Bouajjani, Oded Maler | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   102.97 €

   Zľava 7 %

   Ušetríte 8.63 €

   Kúpiť
6. 

   Formal Techniques for Distributed Objects, Components, and Systems

   Ahmed Bouajjani, Alexandra Silva | Springer International Publishing AG, 2017

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.68 €

   Zľava 7 %

   Ušetríte 4.28 €

   Kúpiť

Poskytujeme zľavy pre študentov, učiteľov a držiteľa ISIC. Zistite viac